Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments

Knowledge Based Programs : On the Complexity of PerfectRecall in Finite Environments Extended

Knowledge based programs have been proposed as an abstract formalism for the design of multi-agent protocols, based on the idea that an agent's actions are a function of its state of knowledge. The key questions in this approach concern the relationship between knowledge based programs and their concrete implementations. We present a variant of the framework of Fagin et al. that facilitates the...

Finite State Implementations of Knowledge-Based Programs

Knowledge-based programs have been proposed as an abstract formalism for the design of distributed systems, based on the idea that an agent's actions are a function of its state of knowledge. We identify two natural cases in which nite state implementations of atemporal knowledge-based programs in nite environments may be automatically constructed. The rst concerns an interpretation of knowledg...

Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall

Constructing Finite State Implementations of Knowledge-based Programs with Perfect Recall ? (extended Abstract)

Knowledge-based programs have been proposed as an abstract formalism for the design of multi-agent protocols, based on the idea that an agent's actions are a function of its state of knowledge. The key questions in this approach concern the relationship between knowledge-based programs and their concrete implementations, in which the actions are a function of the agents' local states. In previo...

Knowledge = Observation + Memory + Computation

We compare three notions of knowledge in concurrent system: memoryless knowledge, knowledge of perfect recall, and causal knowledge. Memoryless knowledge is based only on the current state of a process, knowledge of perfect recall can take into account the local history of a process, and causal knowledge depends on the causal past of a process, which comprises the information a process can obta...